The phase transition in random Horn satis
نویسندگان
چکیده
This paper studies the phase transition in random Horn satissability: under the random model (n; m) in which a formula is obtained by choosing m clauses independently, uniformly at random, and with repetition from all Horn clauses in n variables, (n) = 2 n is the satissability threshold for the Horn satissability. The threshold is coarse since, if (n) = c 2 n then lim n!1 Pr 2(n;;(n)) is satissable] = 1 ? F(e ?c); This resolves both of the two remaining cases of the problem of analyzing phase transitions of the six maximally tractable cases in Schaefer's Dichotomy Theorem.
منابع مشابه
The phase transition in random Horn satis ability
This paper studies the phase transition in random Horn satissability: under the random model (n; m) in which a formula is obtained by choosing m clauses independently, uniformly at random, and with repetition from all Horn clauses in n variables, (n) = 2 n is the satissability threshold for the Horn satissability. The threshold is coarse since, if (n) = c 2 n then lim n!1 Pr 2(n;;(n)) is satiss...
متن کاملA sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses
In this paper we examine a variant, k-HSAT, of the well-known Satis®ability problem, wherein formula instances are limited to CNF formulae having exactly k literals in each clause at most one of which is un-negated. Such formulae correspond to sets of Horn clauses, each of which involves exactly k propositional variables. In addition, rather than seeking instantiations of the propositional vari...
متن کاملA Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas
We compute the probability of satisfiability of a class of random Horn-SAT formulae, motivated by a connection with the nonemptiness problem of finite tree automata. In particular, when the maximum clause length is three, this model displays a curve in its parameter space along which the probability of satisfiability is discontinuous, ending in a second-order phase transition where it is contin...
متن کاملAbstraction and the Csp Phase Transition Boundary
ion and the CSP Phase Transition Boundary Robert Schrag and Daniel Miranker Department of Computer Sciences and The Applied Research Laboratories Taylor Hall 2.124, Mail Code C0500 University of Texas at Austin Austin, TX USA 78712 Internet: fschrag|[email protected] WWW: http://www.cs.utexas.edu/users/schrag September 14, 1995 Abstract We describe an abstraction technique for CSPs and ch...
متن کاملMagnetic Properties and Phase Transitions in a Spin-1 Random Transverse Ising Model on Simple Cubic Lattice
Within the effective-field theory with correlations (EFT), a transverse random field spin-1 Ising model on the simple cubic (z=6) lattice is studied. The phase diagrams, the behavior of critical points, transverse magnetization, internal energy, magnetic specific heat are obtained numerically and discussed for different values of p the concentration of the random transverse field.
متن کامل